Left-leaning red–black tree